Parameterized Barrier Functions to Guarantee Safety under Uncertainty

نویسندگان

چکیده

Deploying safety-critical controllers in practice necessitates the ability to modulate uncertainties control systems. In this context, robust barrier functions—in a variety of forms—have been used obtain safety guarantees for uncertain Yet differing types uncertainty experienced have resulted fractured landscape robustification—with instantiations depending on structure uncertainty. This paper proposes framework generalizing these variations into single form: parameterized functions (PBFs), which yield wide spectrum types. leads that enforce while their conservativeness scales by parameterization. To illustrate generality approach, we show input-to-state (ISSf) is special case PBF framework, whereby improved can be given relative ISSf.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Coherent choice functions under uncertainty

We discuss several features of coherent choice functions – where the admissible options in a decision problem are exactly those which maximize expected utility for some probability/utility pair in fixed set S of probability/utility pairs. In this paper we consider, primarily, normal form decision problems under uncertainty – where only the probability component of S is indeterminate. Coherent c...

متن کامل

Local Self-concordance of Barrier Functions Based on Kernel-functions

 Many efficient interior-point methods (IPMs) are based on the use of a self-concordant barrier function for the domain of the problem that has to be solved. Recently, a wide class of new barrier functions has been introduced in which the functions are not self-concordant, but despite this fact give rise to efficient IPMs. Here, we introduce the notion of locally self-concordant barrier functio...

متن کامل

Robustness of Control Barrier Functions for Safety Critical Control

Barrier functions (also called certificates) have been an important tool for the verification of hybrid systems, and have also played important roles in optimization and multiobjective control. The extension of a barrier function to a controlled system results in a control barrier function. This can be thought of as being analogous to how Sontag extended Lyapunov functions to control Lypaunov f...

متن کامل

Parameterized Hash Functions

Hash functions are used to generate a short form of an original message of any size. This short form is called a hash of a message or a message digest and is used in many cryptographic applications including message integrity verification and message authentication, in which case a keyed hash function is used. Hash function h operates on a message m of an arbitrary length. The result is a hash ...

متن کامل

Endoscopic Retrograde Cholangiopancreatography during Pregnancy: Really Guarantee to Safety?

Acute cholangitis and biliary pancreatitis caused by bile duct stones are not infrequently develop during pregnancy, they can cause serious complications and wastage for both mother and fetus. For pancreaticobiliary diseases in pregnancy, endoscopic retrograde cholangiopancreatography (ERCP) has been suggested as an effective alternative to surgery. During the procedure, radiation exposure is e...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Control Systems Letters

سال: 2023

ISSN: ['2475-1456']

DOI: https://doi.org/10.1109/lcsys.2023.3285188